Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท53m
โšกProof Automation
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท2h
๐ŸŒŠStreaming Systems
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท4hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท18h
๐Ÿ“Log Parsing
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท14h
๐Ÿ”ŒInterface Evolution
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.comยท3hยท
Discuss: Hacker News
โšกPerformance Mythology
Flag this post
Thoughts on AI and Software Design Patterns
dev.toยท12hยท
Discuss: DEV
๐Ÿ›๏ธMainframe Archaeology
Flag this post
What are you doing this weekend?
lobste.rsยท4hยท
Discuss: Lobsters
๐Ÿ“ŠStatic Analysis
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.comยท16hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.netยท1d
๐Ÿ”’WASM Capabilities
Flag this post
Eclipse ADL: Standardized Language for Design and Control of AI Agents
heise.deยท2d
โš™๏ธTLA+
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท21hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Beyond Request-Response: Architecting Real-time Bidirectional Streaming Multi-agent System
developers.googleblog.comยท1d
๐ŸŒŠStreaming Systems
Flag this post
Durable execution workflow system based on Postgres
github.comยท8hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Flag this post